complemented lattice definition